Nuprl Definition : es-sends 11,40

es-sends(esle)
== sends(es-eq(es); idlnk-deq; es-pred?(es); es_info(es); es_val(es); (es-oaxioms(es).1); el
== sends(
latex


Definitionssends(dEdLpred?infovalpel), es-eq(es), idlnk-deq, es-pred?(es), es_info(es), es_val(es), t.1, es-oaxioms(es)
FDL editor aliaseses-sends

origin